Definisi Fungsional (Definisi 2.1.1)
Variabel acak $X$ adalah suatu fungsi $X: S \to R^1$ yang menetapkan bilangan real $X(s)$ untuk setiap hasil yang mungkin $s$ dalam ruang sampel $S$. Lihat Gambar 2.1.1 untuk pemetaan visual dari proses ini.
Untuk menghubungkan teori himpunan dan aritmetika, kita mendefinisikan fungsi indikator dari suatu peristiwa $A$:
$$I_A(s) = \begin{cases} 1 & s \in A \\ 0 & s \notin A \end{cases}$$
Ini mengubah terjadinya suatu peristiwa menjadi sinyal numerik biner.
Mendefinisikan Distribusi (Definisi 2.2.1)
Distribusi dari $X$ adalah kumpulan probabilitas $P(X \in B)$ untuk subset $B \subseteq R^1$. Secara ketat, diperlukan bahwa $B$ merupakan subset Borel, yang merupakan batasan teknis dari teori ukuran. Namun, setiap subset yang dapat kita definisikan secara praktis merupakan subset Borel.
Batasan dan Keberlanjutan Probabilitas
Untuk memastikan fungsi-fungsi kita berperilaku secara prediktif dalam konteks tak hingga, kita bergantung pada aksioma-aksioma yang ditetapkan dalam Teorema 1.3.4 dan 1.6.1:
- Aditivitas Terhitung (1.7.1): $P(A_1 \cup A_2 \cup \cdots) = \sum P(B_n)$, di mana $B_n$ adalah versi saling lepas dari $A_n$.
- Kontinuitas Probabilitas (1.7.2): Jika suatu barisan peristiwa $\{A_n\} \nearrow A$, maka $\lim_{n \to \infty} P(A_n) = P(A)$.
Kita ingin membuktikan bahwa untuk barisan peristiwa apa pun $A_1, A_2, \dots$ (tidak harus saling lepas):
$$P(A_1 \cup A_2 \cup \cdots) \leq P(A_1) + P(A_2) + \cdots$$
Ini dikenal sebagai Ketidaksamaan Boole dan merupakan dasar penting untuk membatasi probabilitas dalam sistem kompleks.